Skip to content

Add feature details in README - #88

Merged
martin-henz merged 8 commits into
mainfrom
docs-update
Aug 27, 2026
Merged

Add feature details in README#88
martin-henz merged 8 commits into
mainfrom
docs-update

Conversation

@kjw142857

@kjw142857 kjw142857 commented Mar 11, 2026

Copy link
Copy Markdown
Contributor

Updates READMEs to:

  • Include current features implemented in java-slang
  • Include unimplemented/planned features
  • Include clarification of compiler usage in web-based version of SA
  • Add testing guide for compiler

@github-actions

github-actions Bot commented Mar 11, 2026

Copy link
Copy Markdown

Coverage report

St.
Category Percentage Covered / Total
🟡 Statements 72.63% 7589/10449
🔴 Branches 59.33% 2553/4303
🟡 Functions 69.54% 1354/1947
🟡 Lines 73.5% 7145/9721

Test suite run success

1148 tests passing in 65 suites.

Report generated by 🧪jest coverage report action from 9c8e6f7

@kjw142857 kjw142857 changed the title Add details in README Add feature details in README Mar 11, 2026
@kjw142857
kjw142857 marked this pull request as ready for review March 17, 2026 23:50
Comment thread src/compiler/README.md Outdated

@martin-henz martin-henz left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@martin-henz
martin-henz merged commit 34be01f into main Aug 27, 2026
4 checks passed
@martin-henz
martin-henz deleted the docs-update branch August 27, 2026 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants